Graph grammars with node-label controlled rewriting and embedding
نویسندگان
چکیده
منابع مشابه
Exponential time analysis of con
eNCE (edge label neighborhood controlled) graph grammars belong to the most powerful graph rewriting systems with single-node graphs on the left-hand side of the productions. From an algorithmic point of view, connuent and boundary eNCE graph grammars are the most interesting subclasses of eNCE graph grammars. In connuent eNCE graph grammars, the order in which nonterminal nodes are substituted...
متن کاملEmptiness Problems of eNCE Graph Languages
We consider the complexity of the emptiness problem for various classes of graph languages deened by eNCE (edge label neighborhood controlled embedding) graph grammars. In particular, we show that the emptiness problem is undecidable for general eNCE graph grammars, DEXPTIME-complete for connuent and boundary eNCE graph grammars, PSPACE-complete for linear eNCE graph grammars, NL-complete for d...
متن کاملInduction of Node Label Controlled Graph Grammar Rules
Algorithms for inducing graph grammars from sets of graphs have been proposed before. An important class of such algorithms are those based on the Subdue graph mining system. But the rules learned by Subdue and its derivatives do not fit easily in any of the well-studied graph grammars formalisms. In this paper, we discuss how Subdue-like algorithms could be made to work in the context of NLC g...
متن کاملNon-Confluent NLC Graph Grammar Inference by Compressing Disjoint Subgraphs
Grammar inference deals with determining (preferable simple) models/grammars consistent with a set of observations. There is a large body of research on grammar inference within the theory of formal languages. However, there is surprisingly little known on grammar inference for graph grammars. In this paper we take a further step in this direction and work within the framework of node label con...
متن کاملOn the inference of non-confluent NLC graph grammars
Grammar inference deals with determining (preferably simple) models/grammars consistent with a set of observations. There is a large body of research on grammar inference within the theory of formal languages. However, there is surprisingly little known on grammar inference for graph grammars. In this paper we take a further step in this direction and work within the framework of node label con...
متن کامل